Vienna Definition Language (VDL) IBM Vienna Labs. A language for formal, algebraic definition via operational semantics. Used to specify the semantics of PL/I. See also VDM. ["The Vienna Definition Language", P. Wegner, ACM Comp Surveys 4(1):5-63 (Mar 1972)].
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.